Each Girard quantale (i.e., commutative quantale with a selected dualizing element) provides a support for a semantics for linear propositional formulas (but not for linear derivations). Several constructions of Girard quantales are known. We give two more constructions, one using an arbitrary partially ordered monoid and one using a partially ordered group (both commutative). In both cases the semantics can be controlled be a relation between pairs of elements of the support and formulas. This gives us a neat way of (...) handling duality. (shrink)

Each Girard quantale (i.e., commutative quantale with a selected dualizing element) provides a support for a semantics for linear propositional formulas (but not for linear derivations). Several constructions of Girard quantales are known. We give two more constructions, one using an arbitrary partially ordered monoid and one using a partially ordered group (both commutative). In both cases the semantics can be controlled be a relation between pairs of elements of the support and formulas. This gives us a neat way of (...) handling duality. (shrink)

Each Girard quantale provides a support for a semantics for linear propositional formulas. Several constructions of Girard quantales are known. We give two more constructions, one using an arbitrary partially ordered monoid and one using a partially ordered group. In both cases the semantics can be controlled be a relation between pairs of elements of the support and formulas. This gives us a neat way of handling duality.

We study partitions of Fraïssé limits of classes of finite relational structures where the partitions are encoded by infinite binary strings which are random in the sense of Kolmogorov-Chaitin.

We offer a formal account of the English past tenses. We see the perfect as having reference time at speech time and the preterite as having reference time at event time. We formalize four constraints on reference time, which we bundle together under the term ‘perspective’. Once these constraints are satisfied at the different reference times of the perfect and preterite, the contrasting functions of these tenses are explained. Thus we can account formally for the ‘definiteness effect’ and the ‘lifetime (...) effect’ of the perfect, for the fact that the perfect seems to ‘explain’ something about the present, and that the perfect cannot presuppose a past time point. We explain why perfect and preterite can sometimes be interchangeable, and we offer a solution to the ’present perfect puzzle’. We explain the unacceptability of notorious examples of the perfect such as * Gutenberg has discovered the art of printing . We give greater definition to the familiar notions of ‘current relevance’ and ‘extended now’. (shrink)

A theory of the joint measurement of quantum mechanical observables is generalized in order to make it applicable to the measurement of the local observables of field theory. Subsequently, the property of local commutativity, which is usually introduced as a postulate, is derived by means of the theory of measurement from a requirement of mutual nondisturbance, which, for local observables performed at a spacelike distance from each other, is interpreted as a requirement of macrocausality. Alternative attempts at establishing a deductive (...) relationship between relativistic causality and local commutativity are reviewed, but found wanting, either because of the assumption of an unwarranted objectivity of the object system (algebraic approach) or because of the use of a projection postulate (operational approach). Finally, the quantum mechanical nonobjectivity is related to certain features of nonlocality which are present in the formalism of quantum mechanics. (shrink)

We report specific heat and μSR measurements on Th and/or B substituted UBe13. The specific heat data show that either Th or B substitution reduces the Kondo temperature TK and increases the entropy at the superconducting transition by almost 20%, indicating an enhanced density of states. However, whereas μSR shows clear evidence for magnetic correlations for Th substitutions, no magnetism is observed for B substitutions. The enhanced specific heat jump in the B-substituted material is associated with a change in the (...) superconducting properties as TK is reduced. (shrink)

About one third of patients with epilepsy have seizures refractory to the medical treatment. Electrical stimulation mapping is the gold standard for the identification of “eloquent” areas prior to resection of epileptogenic tissue. However, it is time-consuming and may cause undesired side effects. Broadband gamma activity recorded with extraoperative electrocorticography during cognitive tasks may be an alternative to ESM but until now has not proven of definitive clinical value. Considering their role in cognition, the alpha and beta bands could further (...) improve the identification of eloquent cortex. We compared gamma, alpha and beta activity, and their combinations for the identification of eloquent cortical areas defined by ESM. Ten patients with intractable focal epilepsy participated in a delayed-match-to-sample task, where syllable sounds were compared to visually presented letters. We used a generalized linear model approach to find the optimal weighting of each band for predicting ESM-defined categories and estimated the diagnostic ability by calculating the area under the receiver operating characteristic curve. Gamma activity increased more in eloquent than in non-eloquent areas, whereas alpha and beta power decreased more in eloquent areas. Diagnostic ability of each band was close to 0.7 for all bands but depended on multiple factors including the time period of the cognitive task, the location of the electrodes and the patient’s degree of attention to the stimulus. We show that diagnostic ability can be increased by 3–5% by combining gamma and alpha and by 7.5–11% when gamma and beta were combined. We then show how ECoG power modulation from cognitive testing can be used to map the probability of eloquence in individual patients and how this probability map can be used in clinical settings to optimize ESM planning. We conclude that the combination of gamma and beta power modulation during cognitive testing can contribute to the identification of eloquent areas prior to ESM in patients with refractory focal epilepsy. (shrink)

Objective: To examine the current ethical review process of ethics committees in a non-pharmacological trial from the perspective of a clinical investigator.Design: Prospective collection of data at the Study Centre of the German Surgical Society on the duration, costs and administrative effort of the ERP of a randomised controlled multicentre surgical INSECT Trial between November 2003 and May 2005.Setting: Germany.Participants: 18 ethics committees, including the ethics committee handling the primary approval, responsible overall for 32 clinical sites throughout Germany. 8 ethics (...) committees were located at university medical schools and 10 at medical chambers. Duration was measured as days between submission and receipt of final approval, costs in euros and administrative effort by calculation of the product of the total number of different types of documents and the mean number of copies required .Results: The duration of the ERP ranged from 1 to 176 days. The median duration was 26 days at MSUs compared with 34 days at medical chambers. The total cost was €2947. 1 of 8 ethics committees at universities and 8 of 10 at medical chambers charged a median fee of €162 . The administrative effort for primary approval was 30. Four ethics committees required a higher administrative effort for secondary approval .Conclusion: The ERP for non-pharmacological multicentre trials in Germany needs improvement. The administrative process has to be standardised: the application forms and the number and content of the documents required should be identical or at least similar. The fees charged vary considerably and are obviously too high for committees located at medical chambers. However, the duration of the ERP was, with some exceptions, excellent. A centralised ethics committee in Germany for multicentre trials such as the INSECT Trial can simplify the ERP for clinical investigators in and outside the country. (shrink)

Objectives: To study the attitudes of both medical and non-medical students towards the do-not-resuscitate decision in a university in Hong Kong, and the factors affecting their attitudes.Methods: A questionnaire-based survey conducted in the campus of a university in Hong Kong. Preferences and priorities of participants on cardiopulmonary resuscitation in various situations and case scenarios, experience of death and dying, prior knowledge of DNR and basic demographic data were evaluated.Results: A total of 766 students participated in the study. There were statistically (...) significant differences in their DNR decisions in various situations between medical and non-medical students, clinical and preclinical students, and between students who had previously experienced death and dying and those who had not. A prior knowledge of DNR significantly affected DNR decision, although 66.4% of non-medical students and 18.7% of medical students had never heard of DNR. 74% of participants from both medical and non-medical fields considered the patient’s own wish as the most important factor that the healthcare team should consider when making DNR decisions. Family wishes might not be decisive on the choice of DNR.Conclusions: Students in medical and non-medical fields held different views on DNR. A majority of participants considered the patient’s own wish as most important in DNR decisions. Family wishes were considered less important than the patient’s own wishes. (shrink)